Unit of an algebra ↩

Metadata

aliases: []
shorthands: {}
created: 2021-11-06 18:33:45
modified: 2022-01-10 04:13:04

is an algebra with unit element

. Then any

is called a unit if

and

Simply put: is a unit if it has a multiplicative inverse .

Then clearly is also a unit and it is unique. (This is easy to prove similarly to the same property of groups)